15.1.4 비결정적 출력을 결정론적으로 검증할 때 발생하는 '유지보수 비용'의 본질